php - 在 OS X : getting the timezone in PHP or from a command prompt in Terminal